- gaisi
- 赊销
壮汉词汇. 2015.
gaisi
Look at other dictionaries:
gaiši — gaišùs, gaiši̇̀ bdv. Nesunkùs, bet gaišùs užsiėmi̇̀mas susimãzgiusius siūlus páinioti … Bendrinės lietuvių kalbos žodyno antraštynas
Gaisi Takeuti — is a Japanese mathematician, known for his work in proof theory.After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana Champaign. Takeuti is the… … Wikipedia
gaišinti — gaišìnti, ìna, ìno tr. 1. trukdyti (žmogų, laiką, darbą): Ar aš jus negaišinù? Šk. Kam tu jį gaišinì, leisk, tegu darbą dirba Lš. Nueina [kieminėtis] ir gaišina žmones Jnšk. Tokiom pasakom gaišiname dienas Pn. Negaišìnk jįjį nuo darbo J.… … Dictionary of the Lithuanian Language
gaišinimas — gaišìnimas sm. (1) → gaišinti: 1. Kas iš tų šnekų – tik laiko gaišìnimas Gs. 2. Turto gaišìnimas Rm. 3. → gaišinti 5: Paukščių gaišinimas girėse LC1887,21. Pelių gaišinimas prš. 4. → gaišinti 6: Gyvulių gaišìnimas Lš. gaišinimas; … Dictionary of the Lithuanian Language
gaišimas — gaišìmas sm. (2) → gaišti: 1. Iš gaišìmo naudos nebus Jnšk. 2. Kalbų gaišimas rš. 3. gaišti 4: Galvijų gaišìmas KII318. gaišimas; apgaišimas; išgaišimas; nugaišimas; pragaišimas; … Dictionary of the Lithuanian Language
gaišimas — gaiši̇̀mas dkt. Tùščias lai̇̃ko gaiši̇̀mas … Bendrinės lietuvių kalbos žodyno antraštynas
gaišinimas — gaiši̇̀nimas dkt. Lankýtojų gaiši̇̀nimas … Bendrinės lietuvių kalbos žodyno antraštynas
gaišintojas — gaišìntojas ( is), a smob. (1) 1. kas gaišina: Miškų ir turtų gaišintojai VŽ1905,222. 2. kas niekina: Oi kad išdžiūt tie mano rodytojai, valelės gaišìntojai Mrc. gaišintojas; išgaišintojas; pragaišintojas … Dictionary of the Lithuanian Language
gaišinti — gaiši̇̀nti vksm. Tù manè labai̇̃ gaišini̇̀ … Bendrinės lietuvių kalbos žodyno antraštynas
gaišindinti — gaišìndinti, ina, ino K cur. gaišinti 1 … Dictionary of the Lithuanian Language
Takeuti conjecture — Takeuti s conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second order logic has cut elimination (Takeuti 1953). It was settled positively: * By Tait, using a semantic technique for proving cut elimination, based on… … Wikipedia
